Stewart, Leroy: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Lean Six Sigma Quality Improvement Project Improves Timeliness of Discharge from the Hospital

Molla, Mithu, Warren, Duncan S., Stewart, Susan Leroy, Stocking, Jacqueline, Johl, Hershan, Sinigayan, Voltaire

Journal:

The Joint Commission Journal on Quality and Patient Safety

Year:

2018

Language:

english

File:

PDF, 1.61 MB

english, 2018

2

Multiple mantle upwellings in the transition zone beneath the northern East-African Rift system from relative P-wave travel-time tomography

Civiero, Chiara, Hammond, James O. S., Goes, Saskia, Fishwick, Stewart, Ahmed, Abdulhakim, Ayele, Atalay, Doubre, Cecile, Goitom, Berhe, Keir, Derek, Kendall, J.-Michael, Leroy, Sylvie, Ogubazghi, Ghe

Journal:

Geochemistry, Geophysics, Geosystems

Year:

2015

Language:

english

File:

PDF, 11.93 MB

english, 2015

3

Monkey Pox Disease in Irradiated Cynomologous Monkeys

MCCONNELL, STEWART J., HERMAN, YAYE F., MATTSON, DONALD E., ERICKSON, LEROY

Journal:

Year:

1962

File:

PDF, 624 KB

1962

4

Program Logics for Certified Compilers || Introduction

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 409 KB

english, 2014

5

Program Logics for Certified Compilers || Case study: Lambda-calculus with references

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 411 KB

2014

6

Program Logics for Certified Compilers || Data structures in indirection theory

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 407 KB

english, 2014

7

Commercial Extraction of Bromine from Sea Water

Stewart, Leroy C.

Journal:

Industrial & Engineering Chemistry

Year:

1934

Language:

english

File:

PDF, 1.96 MB

english, 1934

8

Small-scale thermal upwellings under the northern East African Rift from S travel time tomography

Civiero, Chiara, Goes, Saskia, Hammond, James O. S., Fishwick, Stewart, Ahmed, Abdulhakim, Ayele, Atalay, Doubre, Cecile, Goitom, Berhe, Keir, Derek, Kendall, J. Michael, Leroy, Sylvie, Ogubazghi, Ghe

Journal:

Journal of Geophysical Research Solid Earth

Year:

2016

Language:

english

File:

PDF, 5.00 MB

english, 2016

9

Nuclear ribonucleoproteins as inhibitors of mammalian RNA polymerase

Leroy E. Stewart, Robert C. Krueger

Journal:

Biochimica et Biophysica Acta (BBA) - Nucleic Acids and Protein Synthesis

Year:

1976

Language:

english

File:

PDF, 1.29 MB

english, 1976

10

Program Logics for Certified Compilers || Road map

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 81 KB

2014

11

Program Logics for Certified Compilers || Case study: Separation logic with first-class functions

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 604 KB

2014

12

Program Logics for Certified Compilers || The CompCert memory model

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 1.70 MB

2014

13

ON THE TREATMENT OF FRACTURE OF THE MANDIBLE

MCCURDY, STEWART LEROY

Journal:

Annals of Surgery

Year:

1903

File:

PDF, 250 KB

1903

14

Program Logics for Certified Compilers || Applying higher-order separation logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 304 KB

2014

15

Program Logics for Certified Compilers || How to specify a compiler

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 737 KB

2014

16

Program Logics for Certified Compilers || Generic separation logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 73 KB

english, 2014

17

Program Logics for Certified Compilers || Lifted separation logics

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 309 KB

2014

18

Program Logics for Certified Compilers || C light operational semantics

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 208 KB

2014

19

Unique structural topologies involving metal–metal and metal–sulfur interactions: salts of [Ni(C3S5)2]x− with cis-anti-cis-dicyclohexyl-18-crown-6 complexed counter ions

Cronin, Leroy, Clark, Stewart J., Parsons, Simon, Nakamura, Takayoshi, Robertson, Neil

Journal:

Journal of the Chemical Society Dalton Transactions

Year:

2001

Language:

english

File:

PDF, 165 KB

english, 2001

20

Program Logics for Certified Compilers || Hoare logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 187 KB

english, 2014

21

Program Logics for Certified Compilers || Higher-order semantic models

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 76 KB

2014

22

Program Logics for Certified Compilers || Separation logic for CompCert

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 94 KB

2014

23

Development of pan coefficients for estimating evapotranspiration from riparian woody vegetation

Doody, Tanya M., Benyon, Richard G., Theiveyanathan, S., Koul, Vijay, Stewart, Leroy

Journal:

Hydrological Processes

Year:

2014

Language:

english

File:

PDF, 849 KB

english, 2014

24

Program Logics for Certified Compilers || Separation logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 507 KB

english, 2014

25

Program Logics for Certified Compilers || Verifiable C

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 203 KB

2014

26

Program Logics for Certified Compilers || Indirection theory

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 421 KB

2014

27

Unsaturated sugars in nucleoside syntheses. Synthesis, configuration, and conformation of hex-1-enitol-3-yl, hex-2-enopyranosyl, and hexenopyranosyl purines. 9-(1,5-Anhydro-2-3-dideoxy-D-arabino-hex-1-enitol-3-yl)adenine and 9-(2,3-dideoxy-.beta.-D-erythro-hex-2-enopyranosyl)adenine from D-glucal

Leutzinger, Eldon E., Meguro, Takashi., Townsend, Leroy B., Shuman, Dennis A., Schweizer, Martin P., Stewart, Charles M., Robins, Roland K.

Journal:

Journal of Organic Chemistry

Year:

1972

Language:

english

File:

PDF, 1.27 MB

english, 1972

28

Automated DNA Diagnostics Using an ELISA-Based Oligonucleotide Litigate Assay

Deborah A. Nickerson, Robert Kaiser, Stephen Lappin, Jason Stewart, Leroy Hood and Ulf Landegren

Journal:

Proceedings of the National Academy of Sciences

Year:

1990

Language:

english

File:

PDF, 1.01 MB

english, 1990

29

Observations concerning the sampling of Sciomyzidae (Diptera) in High Nature Value wet grassland habitats: caveats to consider

Carey, John G. J., LeRoy, Maxime, Williams, Christopher D., Gormally, Michael J., Stewart, Alan, Sahlen, Göran

Journal:

Insect Conservation and Diversity

Year:

2015

Language:

english

File:

PDF, 230 KB

english, 2015

30

Program Logics for Certified Compilers || Soundness of Hoare logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 207 KB

english, 2014

31

Program Logics for Certified Compilers || CompCert

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 123 KB

2014

32

Book Review Section 1

BROSIO, RICHARD A., BRINDLEY, THOMAS A., STEWART, MARY LYNN, DURAN, LUISA, ORTIZ, LEROY, GOLDMAN, LOUIS, HODYSH, HENRY W., ENNIS, ROBERT H., RIZVI, FAZAL A., CRITTENDEN, BRIAN

Journal:

Educational Studies A Jrnl of the American Educ Studies Assoc

Year:

1992

Language:

english

File:

PDF, 3.69 MB

english, 1992

33

Differential Criticism of the Spinal Cord.

McCurdy, Stewart Leroy

Journal:

JAMA The Journal of the American Medical Association

Year:

1891

Language:

english

File:

PDF, 326 KB

english, 1891

34

Program Logics for Certified Compilers || Mechanized Semantic Library

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 98 KB

english, 2014

35

Program Logics for Certified Compilers || Higher-order Hoare logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 264 KB

2014

36

Program Logics for Certified Compilers || Separation algebras

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 447 KB

english, 2014

37

Program Logics for Certified Compilers || Higher-order separation logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 301 KB

2014

38

Estimating the Fraction of Acceptable Product

Folks, John Leroy, Pierce, Donald A., Stewart, Charles

Journal:

Year:

1965

Language:

english

File:

PDF, 174 KB

english, 1965

39

A NEW CLUB FOOT WRENCH.

McCURDY, STEWART LEROY

Journal:

JAMA The Journal of the American Medical Association

Year:

1895

Language:

english

File:

PDF, 1.75 MB

english, 1895

40

Program Logics for Certified Compilers || Operators on separation algebras

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 234 KB

english, 2014

41

Program Logics for Certified Compilers || Semantic models of predicates-in-the-heap

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 362 KB

2014

42

Program Logics for Certified Compilers || First-order separation logic

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 278 KB

english, 2014

43

Postnatal Development of Mice with Combined Genetic Depletions of Lamin A/C, Emerin and Lamina-associated Polypeptide 1

Wang, Yuexia, Shin, Ji-Yeon, Nakanishi, Koki, Homma, Shunichi, Kim, Grace J, Tanji, Kurenai, Joseph, Leroy C, Morrow, John P, Stewart, Colin L, Dauer, Willian T, Worman, Howard J

Journal:

Human Molecular Genetics

Year:

2019

Language:

english

File:

PDF, 3.88 MB

english, 2019

44

Program Logics for Certified Compilers || Semantic model and soundness of Verifiable C

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 93 KB

2014

45

Alcohol Proof Determination from Absolute Specific Gravity (20Â°C/20Â°C) Using Oscillating U-Tube Digital Density Meter with Programmable Calculator

Stewart, LeRoy E

Journal:

Journal of AOAC International

Year:

1983

File:

PDF, 551 KB

1983

46

Program Logics for Certified Compilers || A little case study

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

Language:

english

File:

PDF, 310 KB

english, 2014

47

Program Logics for Certified Compilers || Separation algebra for CompCert

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 524 KB

2014

48

Glucocorticoid induction of pulmonary maturation in the rabbit fetus. The effect of maternal injection of betamethasone on the activity of enzymes in fetal lung

Fred Possmayer, Paul Casola, Frank Chan, Stephen Hill, I.Leroy Metcalfe, P.Jill Stewart-Dehaan, Tanya Wong, Jorge Las Heras, Elias B. Gammal, Paul G.R. Harding

Journal:

Biochimica et Biophysica Acta (BBA) - Lipids and Lipid Metabolism

Year:

1979

Language:

english

File:

PDF, 1.20 MB

english, 1979

49

Eucalypt taxa for low—to medium-rainfall farm forestry in south-eastern Australia

Marcar, Nico, Bush, David, Stewart, Leroy, Falkiner, Randall, Crawford, Debbie, Larmour, John, Myers, Brian

Journal:

Australian Forestry

Year:

2011

Language:

english

File:

PDF, 1.49 MB

english, 2011

50

Program Logics for Certified Compilers || Share models

Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

Year:

2014

File:

PDF, 239 KB

2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски